A Case Study in Refinement-Based Modelling of a Resilient Control System
نویسندگان
چکیده
In this paper, we present a case study in modelling a resilient control system in Event-B. We demonstrate how to formally define the basic safety properties and fault tolerance mechanisms, as well as the system modes describing the system behaviour under different execution and fault conditions. Our formal development helps us to identify the diagnosability conditions for resilience, i.e., identify the limitations to be imposed on possible component changes to guarantee its controllability and hence dependability.
منابع مشابه
Resilient Project Management, A New Approache to Develop Project Management Knowledge (Case Study: Infrastructure Civil Projects Management)
Accepetance of the fact that the working context of civil projects is challenging can enhance the resiliency capacity and will increase the project management concentration for improving and developing the software and hardware capabilities to facilitate project success achievement. This article is documented based on a research results in macro-hydropower plants projects management context to ...
متن کاملSpatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran
Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملModelling the Dynamics of Human Resources Capacity in Health Care Services A Case Study of Khatam-al-Anbia Hospital of Mashhad
Background: In service organizations such as hospitals, human resources (HR) play a key role in the quality of service delivery. Lack of a systemic attitude in terms of system dynamics, HR planning have been somewhat distant from reality. In order to solve such a problem, this study aimed to modeling the dynamics of human resources capacity management system in healthcare services. Material...
متن کاملSpatio-temporal agent based simulation of COVID-19 disease and investigating the effect of vaccination (case study: Urmia)
Proper management of epidemic diseases such as Covid-19 is very important because of its effects on the economy, culture and society of nations. By applying various control strategies such as closing schools, restricting night traffic and mass vaccination program, the spread of this disease has been somewhat controlled but not completely stopped. The main goal of this research is to provide a f...
متن کامل